Wyniki
-
Weakly Free Multialgebras
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
Bulletin of the Section of Logic , 51 /1 (2022) s. 109-141 -
Equational reasoning in non-classical logics
Marcelo F. Frias, Ewa Orłowska
Bulletin of the Section of Logic , 26 /1 (1997) s. 2-11 -
On a Four-Valued Modal Logic with Deductive Implication
Marcelo E. Coniglio, Martin Figallo
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 1-18 -
On discussive set theory
Lafayette de Moraes
Bulletin of the Section of Logic , 14 /4 (1985) s. 144-149 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63 -
A finite axiomatization for fork algebras
Marcelo F. Frias, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /4 (1995) s. 193-200 -
Fork algebras are representable
Marcelo F. Frias, Gabriel A. Baum, Armando M. Haeberer, Paulo A.S. Veloso
Bulletin of the Section of Logic , 24 /2 (1995) s. 64-75 -
Descriptive Complexity of Modularity Problems on Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 34 /2 (2005) s. 61-75 -
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
Haroldo G. Benatti, Ruy J.G.B. de Queiroz
Bulletin of the Section of Logic , 35 /4 (2006) s. 195-214 -
On some higher-order predicate calculi
Elias H. Alves, Jose E. de Almeida Moura
Bulletin of the Section of Logic , 7 /2 (1978) s. 84 -
From finite to infinite lambda calculi
Richard Kennaway, Jan-Willem Klop, Ronan Sleep, Fer-Jan de Vries
Bulletin of the Section of Logic , 24 /1 (1995) s. 13-20